A Framework for Using Aldor Libraries with Maple

نویسندگان

  • Cosmin Oancea
  • Stephen M. Watt
چکیده

This paper examines what is required to use Aldor libraries to extend Maple in an effective and natural way. This represents a non-traditional approach to structuring computer algebra software: using an efficient, compiled language, designed for writing large complex mathematical libraries together with a top-level system based on userinterface priorities and ease of scripting. Our method involves the generation of Maple, C and Aldor stub code, uses a number of supporting modules, and relies on an enhanced foreign function interface for Maple. Since the language models of Maple and Aldor differ, the interface code implements various semantic correspondences. The Aldor functions run tightly coupled to the Maple environment, able to directly and efficiently manipulate Maple data objects. We call the overall system Mapal.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Study in the Integration of Computer Algebra Systems: Memory Management in a Maple–aldor Environment

We have undertaken to study the problems which arise in the tight coupling of computer algebra systems. By this we mean having multiple computer algebra systems share the same address space so that objects created by one system can be passed passed by reference in calls to another system. As an interesting practical problem, we have explored the case of using Aldor code from within the Maple sy...

متن کامل

Parametric Polymorphism for Computer Algebra Software Components

This paper presents our experiments in providing mechanisms for parametric polymorphism for computer algebra software components. Specific interfaces between Aldor and C++ and between Aldor and Maple are described. We then present a general solution, Generic IDL (GIDL), an extension to CORBA IDL supporting generic types. We describe our language bindings for C++, Java 1.5 and Aldor as well as a...

متن کامل

Asymptotic Expansions with Oscillating CoeÆcients

In recent years, Computer Algebra has seen signi cant advances on a wide range of fronts. One of the many areas of development has been Symbolic Asymptotics. The exp{log functions are those de ned by expressions built from the rational numbers Q and the variable, x, using arithmetic operations and the functions exp and log, with the understanding that the latter is only applied to arguments whi...

متن کامل

Generic Programming Techniques in Aldor

Certain problems in mathematical computing present unusual challenges in structuring software libraries. Although generics, or templates as they are sometimes called, have been in wide use now for many years, new ways to use them to improve library architecture continue to be discovered. We find mathematical software to be particularly useful in exploring these ideas because the domain is extre...

متن کامل

Parametric Polymorphism Optimization for Deeply Nested Types in Computer Algebra

Computer algebra systems, such as Axiom, and programming languages designed for computer algebra, such as Aldor, have very flexible mechanisms for generic code, with type parameterization. Modern versions of Maple can support this style of programming through the use of Maple's module system, and by using module-producing functions to give parametric type constructors. From the software design ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2004